本书是国外比较成功的一本讨论程序设计语言的教科书，已在一些学校使用多年。书的主要内容包括：引论、命令式程序设计、面向对象的程序设计、函数式程序设计、其他程序设计范型以及语言的描述六大部分。本书适合作为计算机及其相关专业本科高年级学生的教材或教学参考书，或作为研究生的基础课程教材或参考书，也适合其他相关的技术人员参考。本书的学习基础是学过用过一种或几种程序设计语言（最好是Pascal/C/C++），有一定程序设计经验，并对数据结构等计算机基础知识有所理解。

本书是国外比较成功的一本讨论程序设计语言的教科书，已在一些学校使用多年。书的主要内容包括：引论、命令式程序设计、面向对象的程序设计、函数式程序设计、其他程序设计范型以及语言的描述六大部分。本书适合作为计算机及其相关专业本科高年级学生的教材或教学参考书，或作为研究生的基础课程教材或参考书，也适合其他相关的技术人员参考。本书的学习基础是学过用过一种或几种程序设计语言（最好是Pascal/C/C++），有一定程序设计经验，并对数据结构等计算机基础知识有所理解。

《程序设计语言概念》一直是无可争议的经典教材，而其第6版则沿袭了它的一贯传统，为读者提供了有关程序设计语言概念的广泛而深入的介绍。通过分析不同语言构造的设计问题，研究一些最常见语言中这些构造的设计选择，并仔细比较各种不同的设计方法，从而使读者可以为理解程序设计语言的基本概念打下坚实的基础。 通过阅读这本教材，可以使学生在学习新语言、为特定任务选择适当的语言，以及理解实现的重要意义等方面的能力得到迅速提升。 第6版新增内容： 扩展介绍了高级面向对象主题； 补充了有关Java、JavaScript、Perl和PHP等语言的内容； 增加了有关函数式程序设计的讨论，包括元语言（ML）； 提供了历史点评以及对James Gosling、Larry Wall、Alan Cooper等人的人物访谈，从而使有关内容更有...(展开全部)

本书是由斯坦福大学计算机科学教授JohnＣ。Ｍ、itchell编写的。程序设计语言为程序员写出一个好的程序提供了所需的抽象机制、组织原则以及控制结构。这本书所介绍是在程序设计语言中出现的概念，以及语言的设计方式对程序开发产生的影响。本书分为四部分：函数与基本原理；过程、类型、内存管理与控制；模块、抽象与面向对象编程；并发性与逻辑编程等。通过本书的学习，读者将会对过去40年中所使用过的各种程序设计语言有更好的理解，对程序设计语言的设计过程中出现的问题和折中有深的认识，也会对他们所使用的程序设计语言的利弊有更透彻的了解。由于不同的语言体现了不同的编程概念，把其他语言中的思想引入到自己所编写的程序中将会提高读者的编程能力。 本书适于大学本科以及低年级研究生理解和研究现代程序设计语言。

本书是由斯坦福大学计算机科学教授JohnＣ。Ｍ、itchell编写的。程序设计语言为程序员写出一个好的程序提供了所需的抽象机制、组织原则以及控制结构。这本书所介绍是在程序设计语言中出现的概念，以及语言的设计方式对程序开发产生的影响。本书分为四部分：函数与基本原理；过程、类型、内存管理与控制；模块、抽象与面向对象编程；并发性与逻辑编程等。通过本书的学习，读者将会对过去40年中所使用过的各种程序设计语言有更好的理解，对程序设计语言的设计过程中出现的问题和折中有深的认识，也会对他们所使用的程序设计语言的利弊有更透彻的了解。由于不同的语言体现了不同的编程概念，把其他语言中的思想引入到自己所编写的程序中将会提高读者的编程能力。 本书适于大学本科以及低年级研究生理解和研究现代程序设计语言。

《程序设计语言概念》一直是无可争议的经典教材，而其第6版则沿袭了它的一贯传统，为读者提供了有关程序设计语言概念的广泛而深入的介绍。通过分析不同语言构造的设计问题，研究一些最常见语言中这些构造的设计选择，并仔细比较各种不同的设计方法，从而使读者可以为理解程序设计语言的基本概念打下坚实的基础。 通过阅读这本教材，可以使学生在学习新语言、为特定任务选择适当的语言，以及理解实现的重要意义等方面的能力得到迅速提升。 第6版新增内容： 扩展介绍了高级面向对象主题； 补充了有关Java、JavaScript、Perl和PHP等语言的内容； 增加了有关函数式程序设计的讨论，包括元语言（ML）； 提供了历史点评以及对James Gosling、Larry Wall、Alan Cooper等人的人物访谈，从而使有关内容更有...(展开全部)

本书介绍了程序设计语言的一般概念，包括程序设计语言的语法和语义，涉及命令式语言、面向对象语言、函数式语言、逻辑式语言和并行语言等多种范例，分析了各种语言的设计原理和内在机制，讨论了语言的理论基础和实现时必须考虑的问题。 本书可用于计算机及其相关专业学生的双语教材，软件与理论专业研究生相关课程的参考书，也可供计算机专业人员参考。

本书介绍了程序设计语言的一般概念，包括程序设计语言的语法和语义，涉及命令式语言、面向对象语言、函数式语言、逻辑式语言和并行语言等多种范例，分析了各种语言的设计原理和内在机制，讨论了语言的理论基础和实现时必须考虑的问题。 本书可用于计算机及其相关专业学生的双语教材，软件与理论专业研究生相关课程的参考书，也可供计算机专业人员参考。

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员和开发人员，以及程序设计语言和类型理论的研究人员...(展开全部)

类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查程序中的语义错误。 要理解类型系统在程序设计语言中发挥的作用，本书将是首选读物。本书内容覆盖基本操作语义及其相关证明技巧、无类型lambda演算、简单类型系统、全称多态和存在多态、类型重构、子类型化、囿界量词、递归类型、类型算子等内容。本书既注重内容的广度，也注重内容的深度，实用性强。在引入语言的语法对象时先举例，然后给出形式定义及基本证明，在对理论的进一步研究后给出了类型检查算法，并对每种算法都给出了OCaml程序的具体实现。本书对类型理论中的概念都有详细的阐述，为读者提供了一个进一步理论学习的基础。本书内容广泛，读者可以根据自己的需要有选择地深入阅读。 本书适合从事程序设计的研究人员和开发人员，以及程序设计语言和类型理论的研究人员...(展开全部)